Computer-aided verification of software process model properties
Identifieur interne : 00D211 ( Main/Exploration ); précédent : 00D210; suivant : 00D212Computer-aided verification of software process model properties
Auteurs : Alfred Bröckers [Allemagne] ; Volker Gruhn [Allemagne]Source :
- Lecture Notes in Computer Science [ 0302-9743 ]
Abstract
Abstract: In this paper we introduce an approach to computer-aided verification of software process model properties. This approach uses a net-based software process modeling language called FUNSOFT nets. FUNSOFT nets are highlevel Petri nets which are adapted to the application domain of software process modeling. In this paper we focus on the verification of static and dynamic software process model properties. We define some software process model properties and introduce the notion of coverability trees for FUNSOFT nets. Moreover, we discuss how a verification component for FUNSOFT nets is integrated into the software process management environment MELMAC.
Url:
DOI: 10.1007/3-540-56777-1_28
Affiliations:
- Allemagne
- District d'Arnsberg, Rhénanie-Palatinat, Rhénanie-du-Nord-Westphalie
- Dortmund, Kaiserslautern
- Université technique de Kaiserslautern
Links toward previous steps (curation, corpus...)
- to stream Istex, to step Corpus: 000E50
- to stream Istex, to step Curation: 000E38
- to stream Istex, to step Checkpoint: 002E58
- to stream Main, to step Merge: 00DA84
- to stream Main, to step Curation: 00D211
Le document en format XML
<record><TEI wicri:istexFullTextTei="biblStruct"><teiHeader><fileDesc><titleStmt><title xml:lang="en">Computer-aided verification of software process model properties</title>
<author><name sortKey="Brockers, Alfred" sort="Brockers, Alfred" uniqKey="Brockers A" first="Alfred" last="Bröckers">Alfred Bröckers</name>
</author>
<author><name sortKey="Gruhn, Volker" sort="Gruhn, Volker" uniqKey="Gruhn V" first="Volker" last="Gruhn">Volker Gruhn</name>
</author>
</titleStmt>
<publicationStmt><idno type="wicri:source">ISTEX</idno>
<idno type="RBID">ISTEX:3DC6348258CC9FBCC610F6B90A17748051B40FAB</idno>
<date when="1993" year="1993">1993</date>
<idno type="doi">10.1007/3-540-56777-1_28</idno>
<idno type="url">https://api.istex.fr/ark:/67375/HCB-P45RMPQW-2/fulltext.pdf</idno>
<idno type="wicri:Area/Istex/Corpus">000E50</idno>
<idno type="wicri:explorRef" wicri:stream="Istex" wicri:step="Corpus" wicri:corpus="ISTEX">000E50</idno>
<idno type="wicri:Area/Istex/Curation">000E38</idno>
<idno type="wicri:Area/Istex/Checkpoint">002E58</idno>
<idno type="wicri:explorRef" wicri:stream="Istex" wicri:step="Checkpoint">002E58</idno>
<idno type="wicri:doubleKey">0302-9743:1993:Brockers A:computer:aided:verification</idno>
<idno type="wicri:Area/Main/Merge">00DA84</idno>
<idno type="wicri:Area/Main/Curation">00D211</idno>
<idno type="wicri:Area/Main/Exploration">00D211</idno>
</publicationStmt>
<sourceDesc><biblStruct><analytic><title level="a" type="main" xml:lang="en">Computer-aided verification of software process model properties</title>
<author><name sortKey="Brockers, Alfred" sort="Brockers, Alfred" uniqKey="Brockers A" first="Alfred" last="Bröckers">Alfred Bröckers</name>
<affiliation wicri:level="4"><country xml:lang="fr">Allemagne</country>
<wicri:regionArea>AG Software Engineering, University of Kaiserslautern, Kaiserslautern</wicri:regionArea>
<placeName><region type="land" nuts="2">Rhénanie-Palatinat</region>
<settlement type="city">Kaiserslautern</settlement>
</placeName>
<orgName type="university">Université technique de Kaiserslautern</orgName>
</affiliation>
<affiliation wicri:level="1"><country wicri:rule="url">Allemagne</country>
</affiliation>
</author>
<author><name sortKey="Gruhn, Volker" sort="Gruhn, Volker" uniqKey="Gruhn V" first="Volker" last="Gruhn">Volker Gruhn</name>
<affiliation wicri:level="3"><country xml:lang="fr">Allemagne</country>
<wicri:regionArea>Fraunhofer-Institut für Software und Systemtechnik, c/o University of Dortmund, Dortmund</wicri:regionArea>
<placeName><region type="land" nuts="1">Rhénanie-du-Nord-Westphalie</region>
<region type="district" nuts="2">District d'Arnsberg</region>
<settlement type="city">Dortmund</settlement>
</placeName>
</affiliation>
<affiliation wicri:level="1"><country wicri:rule="url">Allemagne</country>
</affiliation>
</author>
</analytic>
<monogr></monogr>
<series><title level="s" type="main" xml:lang="en">Lecture Notes in Computer Science</title>
<title level="s" type="abbrev">Lect Notes Comput Sci</title>
<idno type="ISSN">0302-9743</idno>
<idno type="eISSN">1611-3349</idno>
<idno type="ISSN">0302-9743</idno>
</series>
</biblStruct>
</sourceDesc>
<seriesStmt><idno type="ISSN">0302-9743</idno>
</seriesStmt>
</fileDesc>
<profileDesc><textClass></textClass>
</profileDesc>
</teiHeader>
<front><div type="abstract" xml:lang="en">Abstract: In this paper we introduce an approach to computer-aided verification of software process model properties. This approach uses a net-based software process modeling language called FUNSOFT nets. FUNSOFT nets are highlevel Petri nets which are adapted to the application domain of software process modeling. In this paper we focus on the verification of static and dynamic software process model properties. We define some software process model properties and introduce the notion of coverability trees for FUNSOFT nets. Moreover, we discuss how a verification component for FUNSOFT nets is integrated into the software process management environment MELMAC.</div>
</front>
</TEI>
<affiliations><list><country><li>Allemagne</li>
</country>
<region><li>District d'Arnsberg</li>
<li>Rhénanie-Palatinat</li>
<li>Rhénanie-du-Nord-Westphalie</li>
</region>
<settlement><li>Dortmund</li>
<li>Kaiserslautern</li>
</settlement>
<orgName><li>Université technique de Kaiserslautern</li>
</orgName>
</list>
<tree><country name="Allemagne"><region name="Rhénanie-Palatinat"><name sortKey="Brockers, Alfred" sort="Brockers, Alfred" uniqKey="Brockers A" first="Alfred" last="Bröckers">Alfred Bröckers</name>
</region>
<name sortKey="Brockers, Alfred" sort="Brockers, Alfred" uniqKey="Brockers A" first="Alfred" last="Bröckers">Alfred Bröckers</name>
<name sortKey="Gruhn, Volker" sort="Gruhn, Volker" uniqKey="Gruhn V" first="Volker" last="Gruhn">Volker Gruhn</name>
<name sortKey="Gruhn, Volker" sort="Gruhn, Volker" uniqKey="Gruhn V" first="Volker" last="Gruhn">Volker Gruhn</name>
</country>
</tree>
</affiliations>
</record>
Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 00D211 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd -nk 00D211 | SxmlIndent | more
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien |wiki= Wicri/Lorraine |area= InforLorV4 |flux= Main |étape= Exploration |type= RBID |clé= ISTEX:3DC6348258CC9FBCC610F6B90A17748051B40FAB |texte= Computer-aided verification of software process model properties }}
This area was generated with Dilib version V0.6.33. |